Safety Functions on Commodity Hardware with Diversified Encoding
نویسندگان
چکیده
Currently, hardware designed and certified for safety-critical systems is one important building block for any safety-critical application. Such hardware provides the detection of execution errors. However, many modern safety-critical applications, like autonomous driving, require features and performance levels that are not available from safety-certified hardware. One solution to this problem is to use hardware that is not certified for safety-critical systems, for example consumergraded hardware, but that fulfills the feature and performance requirements. Additionally, a software solution provides the detection of execution errors. This paper introduces such a software solution called “Diversified Encoding with Coded Processing”. Due to its hardware-independence, this solution provides the flexibility to build safety-critical systems from non-safety-critical hardware components. This solution can be automated with a code transformation tool to further increase the flexibility.
منابع مشابه
AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware
In the future, we expect commodity hardware to be used in safety-critical applications. However, in the future commodity hardware is expected to become less reliable and more susceptible to soft errors because of decreasing feature size and reduced power supply. Thus, software-implemented approaches to deal with unreliable hardware will be needed. To simplify the handling of value failures, we ...
متن کاملHardware error detection using AN-Codes
Due to the continuously decreasing feature sizes and the increasing complexity of integrated circuits, commercial off-the-shelf (COTS) hardware is becoming less and less reliable. However, dedicated reliable hardware is expensive and usually slower than commodity hardware. Thus, economic pressure will most likely result in the usage of unreliable COTS hardware in safety-critical systems. The us...
متن کاملANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software
It is expected that commodity hardware is becoming less reliable because of the continuously decreasing feature sizes of integrated circuits. Nevertheless, more and more commodity hardware with insufficient error detection is used in critical applications. One possible solution is to detect hardware errors in software using arithmetic AN-codes. These codes detect hardware errors independent of ...
متن کاملAutomatic Generation of Diversified Program Variants Optimized to Detect Hardware Faults
A virtual duplex system can be used to increase safety without the use of structural redundancy on a single machine. If a program P is calculating a given function f, then a virtual duplex system contains two variants Pa and Pb of P which are calculating the diverse functions fa and fb , respectively. If no error occurs in the process of designing and executing Pa and Pb then f = fa = fb holds....
متن کاملParallelizing Software-Implemented Error Detection
Because of economic pressure, more commodity hardware with insufficient error detection is used in critical applications. Moreover, it is expected that commodity hardware is becoming less reliable because of the continuously decreasing feature size. Thus, we expect that software-implemented approaches to deal with unreliable hardware will be needed. Arithmetic codes are well suited for this pur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015